- 2 402 202 книги
- Поиск
Formal Methods for Components and Objects
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Stefan Hallerstede, Автор: Michael LeuschelКатегория: Математика, Прикладная математика
Размер книги: 4.09 Mb
Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected ... Programming and Software Engineering)
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Stefan Hallerstede, Автор: Michael Leuschel
Размер книги: 4.20 Mb
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science)
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Susanne Graf, Автор: Willem-Paul de Roever
Размер книги: 9.52 Mb
Formal Methods for Components and Objects - FMCO 2010
Автор: Bernhard K. Aichernig, Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue
Размер книги: 6.30 Mb
Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey ... Programming and Software Engineering)
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Eric Madelaine
Размер книги: 5.55 Mb
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007, Revised Lectures
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Susanne Graf, Автор: Willem-Paul de Roever
Размер книги: 7.96 Mb
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures ... / Programming and Software Engineering)
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Susanne Graf, Автор: Willem-Paul de RoeverКатегория: Компьютеры
Размер книги: 3.81 Mb
Formal methods for components and objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised papers
Автор: F S de Boer; Marcello BonsangueКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.48 Mb
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
Автор: frank s. de (editor) ; bonsangue, Автор: marcello (editor) ; graf, Автор: susanne (editor) boerКатегория: Компьютеры
Размер книги: 3.87 Mb
Formal Methods for Components and Objects, 4 conf., FMCO 2005
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Susanne Graf, Автор: Willem-Paul de RoeverКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.85 Mb
Formal Methods for Components and Objects, 2 conf., FMCO 2003
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Susanne GrafКатегория: CsLn_
Размер книги: 7.29 Mb
Formal Methods for Components and Objects, 5 conf., FMCO 2006
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Susanne Graf, Автор: Willem-Paul de RoeverКатегория: CsLn_
Размер книги: 3.18 Mb
Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1, FMOODS 2007
Автор: Marcello M. Bonsangue, Автор: Einar Broch JohnsenКатегория: CsLn_
Размер книги: 3.57 Mb
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Susanne Graf, Автор: Willem-Paul de Roever
Размер книги: 3.47 Mb
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
Автор: Frank S.de Boer, Автор: Marcello Bonsangue, Автор: Susanne Graf, Автор: Willem-Paul de Roever
Размер книги: 4.59 Mb